1. Symbolic logic and mechanical theorem proving

by Chang, Chin-Liang | Lee, Richard Char-Tung.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1973Availability: Items available for loan: [Call number: 511.3 CHA] (1).
2. Theory of matrices: with applications

by Lancaster, Peter | Tismenetsky, Miron.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: San Diego: Academic Press, 1985Availability: Items available for loan: [Call number: 512.9434 LAN] (1).
3. Digital picture processing, Volume 1

by Rosenfeld, Azriel | Kak, Avinash C.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London: Academic Press, 1982Availability: Items available for loan: [Call number: 621.3819598 ROS] (1).
4. Digital picture processing Volume 2

by Rosenfeld, Azriel | Kak, Avinash C.

Edition: 2nd ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Orlando: Academic Press, 1982Availability: Items available for loan: [Call number: 621.3819598 ROS] (1).
5. Recursive function theory and logic

by Yasuhara, Ann.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: New York: Academic Press, 1971Availability: Items available for loan: [Call number: 511.3 YAS] (1).

Powered by Koha